📞 Session Types

Protocol Safety, Communication Correctness, Type-driven Development, Concurrency

Learning from software errors – Part 3: A Mars probe gets out of control
heise.de·11h
👁️Observatory Systems
Slip – A Lisp System in JavaScript
lisperator.net·5h·
Discuss: Hacker News
🔗Lisp
Building A Real-Time Communication System Using Go and WebSocket
dev.to·2h·
Discuss: DEV
🌐WebSocket Framing
Operable Software
ferd.ca·6h·
Discuss: Hacker News
👁️System Observability
Three ways formally verified code can go wrong in practice
buttondown.com·2h
📜Proof Carrying Code
QUIC! Jump to User Space!
hackaday.com·3h
🌐Network Protocols
Erlang-Red Walkthrough – Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.com·5h·
Discuss: Hacker News
🌐Protocol Synthesis
GHC Developer Blog: GHC 9.14.1-alpha3 is now available
haskell.org·1d
🔗Functional Compilers
The Why of PGP Authentication
articles.59.ca·6h
🔑Cryptographic Protocols
Defeating Return Type Polymorphism
philipphagenlocher.de·1d·
Discuss: Hacker News
🧬Functional Programming
The Death of the Curious Developer
hackernoon.com·13h
🧭Content Discovery
ASP.NET Core 9 Essentials • Albert Tanure & Rafael Herik de Carvalho • GOTO 2025
youtube.com·1d
🌐WASI
Ensuring Safe and Reliable Updates with Qualys TruRisk™ Manifest Version Control
blog.qualys.com·1d
✅Archive Fixity
When AI Remembers Too Much – Persistent Behaviors in Agents’ Memory
unit42.paloaltonetworks.com·21h
🔲Cellular Automata
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.org·15h
⛪Church Encoding
Open Lineage
usenix.org·15h
🔌Interface Evolution
Codeminer42 Dev Weekly #82
blog.codeminer42.com·2h
🎯Gradual Typing
Experimenting with ACL2 and Claude Code
mikedodds.org·7h·
Discuss: Hacker News
👑Isabelle
Love C, Hate C: Web Framework Memory Problems
alew.is·15h·
Discuss: Hacker News
🔩Systems Programming
N8n vs. Windmill vs. Temporal
blog.arcbjorn.com·20h·
Discuss: Hacker News
🌊Stream Processing